Parallel Monitoring of Design Pattern Contracts
نویسندگان
چکیده
Design patterns are widely accepted as elements of best practice. We have previously shown that these benefits can be amplified by supplementing informal pattern descriptions with precise pattern contracts, and monitoring tools that identify runtime contract violations. In this paper, we present a parallel approach to monitoring pattern contracts that reduces the performance impact of runtime monitoring. We evaluate the performance of the approach relative to its sequential counterpart, and draw conclusions concerning its applicability to a range of systems.
منابع مشابه
Monitoring Design Pattern Contracts
Design patterns allow system designers to reuse well established solutions to commonly occurring problems. These solutions are usually described informally. While such descriptions are certainly useful, to ensure that designers precisely and unambiguously understand the requirements that must be met when applying a given pattern, we also need formal characterizations of these requirements. Furt...
متن کاملContract Monitoring Semantics as Patterns of Communication
We present a new approach to contract semantics which expresses myriad monitoring strategies using a small core of foundational communication primitives. This approach allows multiple existing contract monitoring approaches, ranging from Findler and Felleisen’s original model of higher-order contracts to semi-eager, parallel, or asynchronous monitors, to be expressed in a single language built ...
متن کاملDesign by Contract Using Meta-Assertions
The important role that class contracts Ð pre and post-conditions of methods, and invariants Ð play in the specification, monitoring and reuse of classes is becoming increasingly accepted by the OO community. The several languages of assertions and monitoring code generation tools that exist allow the specification and, eventually, the runtime checking of very powerful and elegant contracts. Th...
متن کاملماهیت و آثار قرارداد سلف موازی
Parallel Forward contract is a contract that anticipated to resolve the limitations arising from the forward sale. This contract is parallel to the primary forward contract, forward contract to be signed first, second independent predecessor in terms of commitments and associated works contract has complete autonomy over index futures; the buyer of the forward contract take place in the s...
متن کاملExplain the optimal pattern in the contracts of public private Participation construction, exploitation and transfer (BOT) Applied to Contracts Theory
In recent decade in developing countries, lack of government budget or lack of access to modern technology, persuade governments to attract private sector participation in the economy. One of the most common methods is Public-Private Partnership agreements. The real implementation of this type of partnership needs to set contracts that satisfies preferences of both parties. This research aims t...
متن کامل